Try to fix #78: can not fold automatically