hwdocs/counter: more style fixes