Fixed a tiny typo which prevented compilation