Fix ido-ubiquitous deprecation warning