Remove extraneous char in documentation