Fix missing semi-colon (minor coding style issue)