Fix #114: Remove stray semi-colon