> I'd suggest to expand the comment to "S!1 is instantiated, not S!num".

Done.