Correct URI of the assertion library in one more location