just a few minor fixes