fix in pdb_style.h