update for panda.js 1.3.2