minor fixes in utilities