Making HTML5 valid outputs + minor ladder snapshot modification.