minor rgba.php tweak