#9094: fix incorrect header class