Corrected (ad-hoc) a problem with specification translation.