* fix bug #454.