corrected filename of haali….svg