Fix specs by specifying correct facts