Old name for asteroid