Remove double semi-colon

A little code cleanup noticed by @ayvis