Some documentation cleanup