Corrected return value from int main(...)