a few php tweaks for personal use