add missing semicolon

Was missing in commit 17bc8324ff498bd776901fccbe09888c8f35d744.