Silly mistake in pull request #2643