More cosmetic changes. Digits have been temporarily disabled.