Add missing semicolon to 0x4004 definition