(Yet) another tiny readme change.