fix some more PHP tags; bump version to 3.2.9