I think we should create a ScalaCheck checker here so we have better coverage