Tidying IE and humans.txt