Fixes some semicolon formatting