Fix some errors in documentation