fix CGBG header; make respec2html work again
use proper methods for respec2html