Fixed a bug that prevented compilation