Clean up documentation headers

Some day I will get all this right. Some day.