Correct main() return values