add <PRE> to ASDoc