Fix a formatting error

Leaves a space in the word PHP, but a necessary evil for a properly bolded sentence.