PHP problem, but this should fix #11.