fix spurious error