Avoid harmless but annoying deprecation warning