Fixed some issues in the specs