Indeed. I worked from memory, and forgot about this complication. Edited the text to cite your comment.
Indeed. I worked from memory, and forgot about this complication. Edited the text to cite your comment.