in sync with allen's latest draft of the spec