bug regarding plain tex \font