Suppress unimportent but annoying warning