Some small tweaks in the 'Special Predicates' section