fixed spurious error