Minor fix in user bitmask functions (XCC)