Incorrect PHP closing comment

Closes #1