made a few minor fixes