fixed compilation error introduced with last commit