fix dot error in case there are no end states