Fixed a silly compilation error