a few more spec corrections