I don't understand this case. If I'm understanding correctly, the issue here might be that we're immediately before a line comment, but might be inside an outer block comment. I'm not sure why that case can only occur if the line comment starts at the very beginning of a line - wouldn't the same issue occur if the line comment started later on the line after whitespace?