Fixed some names in the docs