Fix glitch in bit mask where 1111 was used instead of 0x1111