tiny fixes on the last commit