Updating W3iCore.m