"Fix" #1139.