Fix some documentation inconsistencies