* fix bug#551.