diff --git a/compilers/opsc/src/Ops/Compiler/Actions.pm b/compilers/opsc/src/Ops/Compiler/Actions.pm
index 6103e882ed..158bfdfb0f 100644
--- a/compilers/opsc/src/Ops/Compiler/Actions.pm
+++ b/compilers/opsc/src/Ops/Compiler/Actions.pm
@@ -596,6 +596,11 @@ method statement_control:sym<continue> ($/) {
     make PAST::Stmts.new($past);
 }
 
+method statement_or_block ($/) {
+    $<labeled_statement>
+        ?? make $<labeled_statement>.ast
+        !! make $<blockoid>.ast
+}
 
 method circumfix:sym<( )> ($/) {
     my $past := $<EXPR>.ast;
diff --git a/compilers/opsc/src/Ops/Compiler/Grammar.pm b/compilers/opsc/src/Ops/Compiler/Grammar.pm
index d7c316f5b9..6fcb098553 100644
--- a/compilers/opsc/src/Ops/Compiler/Grammar.pm
+++ b/compilers/opsc/src/Ops/Compiler/Grammar.pm
@@ -193,18 +193,18 @@ proto rule statement_control { <...> }
 
 rule statement_control:sym<if> {
     <sym> '(' <EXPR> ')'
-    <then=.statement_list>
-    [ 'else' <else=.statement_list> ]?
+    <then=.statement_or_block>
+    [ 'else' <else=.statement_or_block> ]?
 }
 
 rule statement_control:sym<while> {
     <sym> '(' <condition=.EXPR> ')'
-    <statement_list>
+    <statement_list=.statement_or_block>
 }
 
 rule statement_control:sym<for> {
     <sym> '(' <init=.EXPR>? ';' <test=.EXPR>? ';' <step=.EXPR>? ')'
-    <statement_list>
+    <statement_list=.statement_or_block>
 }
 
 rule statement_control:sym<do-while> {
@@ -221,6 +221,11 @@ rule statement_control:sym<switch> {
 rule statement_control:sym<break> { <sym> }
 rule statement_control:sym<continue> { <sym> }
 
+token statement_or_block {
+    | <labeled_statement> <.eat_terminator>
+    | <blockoid>
+}
+
 # HACK to support for INT_FMT "\n"
 token term:sym<concatenate_strings> { # Long-long name as LTM workaround
     <identifier> \s+ <quote>
diff --git a/t/compilers/opsc/03-past-declarator.t b/t/compilers/opsc/03-past-declarator.t
index 582f1de7fc..8bc491f003 100644
--- a/t/compilers/opsc/03-past-declarator.t
+++ b/t/compilers/opsc/03-past-declarator.t
@@ -78,6 +78,14 @@ $past := $compiler.compile($buf, target => 'past');
 $op := $past<ops>[0];
 is( $op[0][0]<pasttype>, 'for', "for loop generates right pasttype");
 
+$buf := q|
+inline op bar(out PMC, in INT) {
+    if (foo) bar(); baz();
+}|;
+$past := $compiler.compile($buf, target => 'past');
+$op := $past<ops>[0];
+# if, baz, WB, goto
+is( +@($op[0]), 4, "Properly handle single statement in 'if'");
 
 
 done_testing();