Cleaned up servertools.