remove unnecessary use of OpamMisc
ws