Minor bugfix in the README