Doc pages: some formatting issues