[ifxmips] fix error from last commit