Fixed dumb mistake in previous commit. #782