HomeIsabelle/Phabricator

Fix typos in immutable load function names.