Fix php version note