Fix some problems in the README