SpecMan bug fixes