fixed annoying typo (only in docs; not yet in code)