#3402: unnecessary mutable arguments