Remove bad main: