I think it's fine to change the type of userArgsSeq to an ArrayBuffer. It won't affect the rest of the code that much -- it's only used in one place -- and it wil lbe