Fix documentation javascript error