PR follow-up: add semicolon at the end of a line