indentation fixed in js.h