It was a leftover, sorry about that. It will be fixed in my upcoming commit.