Fix some docs