Some small changes that I noticed in the commits