WebTV: Code cosmetics