fixed spurious semicolon problem