reproduce bug #131
fix bug #131