Small corrections to Web Core