Fix problems discovered while writing README