Some PHP cosmetics