cosmetic changes to interpreter notation