little fixes for Either