fix missing character in documentation