fix errant ;