fix disambiguation html input files