Remove obsolete line from docs