Fixed a bug in compilation