Updating: minorly improving prelude/pointer.