minor spec proposal updates