fixing creepy lack of indentation in some HTML parts