another final fix hopefully still making it into the published RFC