Update minipedia3.js