some fixes to mutability page