fix last commit, which went in by mistake