tiny fixes for prev commits