Fixed bad masking of [pro] code sections