fixed PHP output issue randomly found in a ticket