fix size of msgrcv's mtype parameter during recording

Just a small tweak.