strange PHP execution

somehow "isset()" did not work properly.
fix #94