fixes #5 better typed HTML code