Fix opendetex