Fixed mistake in commit 3a19d65.