formatting the spec as per Lucas's feedback