Minor change to argument vector, to be according to the main() standard