Suppress some unchecked cast warnings