Removing extra ; and adding some missing newlines at eof