some minor changes to lexical-printer