drop all versions but one that I tested; some fixes to spec