Fixes hyperspec definition + some js bug