Apply real fix for Andy Wokula's HTML indent