* fix bug #550.