two minor fixes to besancon