removing mention of nevow, revertable if necessary