oops, fixed a problem I introduced

THANK GOD FOR GITHUB!