fix for cleaning of HTML ids