another minor reformulation