more tiny fixes