See discussion: http://lists.geojson.org/pipermail/geojson-geojson.org/2017-May/001027.html. The mistake is in this commit: https://github.com/geojson/draft-geojson/commit/7dd400c94218f688e2d68556e1fd0f094f906b2c.