Fix annoying Mono warning.