Another stray semicolon, fixing GCC build on Travis.
Another stray semicolon, fixing GCC build on Travis.

topisani/TOP-1,topisani/OTTO,topisani/OTTO,topisani/OTTO,topisani/TOP-1,topisani/OTTO,topisani/OTTO