W3C validation, minor cosmetics