Yeah, it looks like python is just omitting the leading zero on ``0db8``, which should be fine.  I would just change the test to use ``'2001:db8:0:f101::1'``.