Bug: mutable arguments in Class init