Fixed bug I introduced in previous commit.