two more tiny fixes