Fix PHP server note