minor correction in exploration html