Fixing some naming issues with the beleq/belns files.