Fixed some inconsistencies in the documentation