Small fix (english.inc.php)