Fix slight documentation error