Fixing up main; TODO items