Renamed alienSpec to coreSpec (attempt to fix git tracking bug)