Fix up old reference to AsReadBufferInt from DSA patch