Suppress an "unused" warning