Semicolon fix

See commits (they are very simple indeed).