* fix bug#503.