Minor spelling mistake in JavaDoc comments