Play nice with pre tag for indentation