Small syntax correction
Merge commit '0e82a331c26d58f7b6f3ba1cce22d6325ff05860' into separate-compilation-bootstrap