fixed mistake in invalidwrite.c