Fixed a compilation problem. I'm amazed no one else had this problem.