Change notation.js
Fix bug in day02