minor Miranda typo