Fix bug#1139.