Yes, agreed...! 4mm x 20mm Domino.
In reality, the 20mm length is actually only 18mm and if you plunge 10mm into each edge/face of your joint, knock the Domino into the end grain, then you will only have about 8mm to go into the opposing mortice.....less likelihood of glue blowout that way I've...