Stored code not cleared after reset?

Had the IDE 'Save on Upload' some code on 1.94.

Tried

• Reset Puck.js with the button held down - the Green LED lights.
  
• Keep the button pressed for ~3 seconds until all 3 LEDs are lit
  
• Released the button
  
• The Green LED flashes 5 times
  
• Connected to IDE
  
  • Typed save()
    
• Typed E.setBootCode()
  
  

to clear the old code. After reset(), old code is still present and executed, visible by console.log() messages from the old code. What am I missing?

Klaus?