two little minor fixes