Kill console.log statements.
Merge branch 'master' of https://github.com/pandaproject/panda
Fix missing label. Closes #889.
Fix another missing label. CLoses #887.