workshop update

I would recommend specifying that in hexadecimal notation (0x80000000)