Fix a couple of errors/warnings in docs