fixes: forgotten replace rule for Mem