some minor changes to codesnippets.js script