Now, really fixing the broken specs