fix an ancient bug