fix semicolon

Additional fix for #1213