Fixed a simple compilation error