The only difference between the two files is that in bug.cpp, "Code fragment" starts on a new line after @code whereas in ok.cpp it starts on the same line.
Code fragment