fix the end of namespace comments

this was done semi-automatically by a python script