fix stray ;