fix bug #415