A few changes in manifest and casemon.js