Correction of irritating bug caused by mutable default argument