fix html indentation for 7.4