Shouldn't we handle this in main?