Fix errors from Spec