Issue #300: missing comment token