Fix some typing bugs in Readme