restore line accidentally deleted in 29d22f2 #134