fixed dumb compilation error