A little bit of doc cleanup