Issue4187

For issue #4187
Use the header element for panel headings.