Fixing the POSIX character class that PHP is unexplicably not recognising now despite being documented in the manual.