small bug with lower bound and typos fixed