* fix bug#494.