Why mutable? Is this used const somewhere?