Attempt 1 to fix mysterious PHP error.