two minor fixes