* fix bug#492.