Was still having problems with XML comments. Brought back these two
lines, and it was fixed.