fooling around with font-locking, a few other tweaks