a few minor changes to try to fix specs