Some PHP hacks