Cleaned up some extraneous bits in tools.html