minor fix in utilities