userArgsSeq is an ArrayBuffer (though badly named) - or am I missing something ?