Silence a false positive warning.