Fixed a typo which prevented compilation