added PHP Doc header