fix readf bug (use whitespace before %d), User.getAvailableUser returns Array of User types