Clean up for the old PHP implementation.