make tool names a little nicer