* fix bug#493.