some cosmetic modifications in 01