In reply to David Anderson.

(The patch is for the file includes/formatting.php).