un-dirtied ctrl-p