Fix bug in spec