Some fixes in IP address computation; also translations updated