undoing my last commit, Haiman pushed a fix before I saw it