tiny fix in javascript generated modules