Ignore comments consisting only of whitespace (without newlines)

These comments do not contribute any meaningful information and we don't
want to use them for formatting.