Fix some documentation