Added an extra semi-colon to the file header.