Corrected small mistake in last pull request