minimal examples for the heading label bug