ROADMAP: tiny formatting edit for nicer web output