Fix stupid mistake in previous commit (ref #68).