fix Precondition checkHash to say hash must be non-null of length >0 (used to say >1)