Formatted some tables of the spec.