Remove extraneous parameter

It was in the original workshop notes and rather embarrassingly an eagle-eyed member of the audience we were presenting to spotted it before I did :)