Fixed a subtle bug in my last commit.