Oops, fixing problem I introduced