Remove a few leftover XML comments