Joseph Lizier

Actually "symbols" or "numSymbols" would be better

thanks, yes I should have been more clear on that!

Thanks for this. 1. I found this one the other day and it's already in a commit that I haven't pushed yet. So am going to delete it from here...

Hmmm - it seems that me pushing my changes first was the wrong option, because it looks like it needs a rebase at your end now? Simon can you take...