Bug fix with Javascript; Autoformat *.dox pages