Fixes for IE
Merge remote-tracking branch 'origin/develop' into gh-pages

Conflicts:
	source/checker.js
	source/config.js