Fix forgotten semicolon and misformating