A very minor documentation error