added fix to employee_number getter