Fix mistake in hw6sol