miredo: fix a compile error