some tiny fixes for README