memory model typo fixing