fixed a bug in tools