Correctly emit trailing header ID brace