Consolidate some open issues in the spec