version bump 0.5.5: eliminate double-negatives