fix another silly mistake in tycheck