twelf: Fix the source URL