Added punctuation

Can't quite decide what fits existing style best, but semicolon seems to
work