fix the discrepancy between MSON and rendered example