* fix bug#552.