A reformulation of the core ML type system with references and the value restriction is investigated, showing that some standard assumptions fail to hold in the usual formulation, and proposing a simpler alternative.