Update specifications.md

I think it's actually what we wanted.