Another font-lock progress gauge problem