html cleaned by Thomas