What's the reason for changing this, and won't the second precondition break if args is nil?