don't use predef's Seq, it might be mutable