I guess I don't see a better/less hackish way of doing this, but I've added a comment anyway.