Clean up another extraneous character in docs