fix bug #400