More fixes related to Pixel Bender