corrected type used in @return