Fix erronous use of Preconditions and therefore bad DOI constructors