Fixed a deprecation warning introduced by 96dd48c83f.