Fixes to the PHP directives