fix an old bug