Fix mex_top