Fixed mistakes in the documentation