Changed length() return annotation