Added a comment on JMM-to-membar mapping