Since 's' is repeatedly assumed, let's assert it rather than
sometimes checking it and sometimes not.