Added type to main, to appease clang