part of gompi 1.4.10, use double space before `#` for inline comments