Fix stupid bug in previous commit.