Bugfix: spurious whitespace in inline comments