bug: no error reported in a syntactically wrong case of do commands

In dotted do commands, there should be an error if someone tries to write statements on the same line of a block comment after the do. For example:

is not valid, as shown below:

You must remove the block comment to make that valid:

Gives: