Added version number to ZRE spec