Fix a typo in the Proc.is_alive method in the runtime