Error in docs -- redundant code