Bug fix in compilation