exp11b: tweaks to workaround current bug with p5 when pixel density is not 1