Issue #2: fix mistake in test