Fixed: do not try to call isDefinedAt in Receive, which may run some
logic at once.