Fixed a bug in IP address extensions.