Move spec to specification to avoid confusion