This seems like the start of a spurious block comment. What's going on here?