Fixed trivaial compilation error