Fix a careless mistake in the last commit

Thanks Colin :)