Fix a pair of bugs in the emission of pubname tables: