fix bug #488