What punctuation should be used at the end of a command?