Add missing semicolon to end of file

This prevents problems when the script is concatenated with others.