Javascript tools

Fixes for IE issues