Fix a couple of broken specs