OK; I've amended the commit to put this back.