[newlisp/f20] Minor cosmetic update