minor change in compilation