Correct URI of the assertion library