fix crazy indentation in minitopic.js
normalize whitespace
bump to version 9