Fix php error when no highlight needed