Completion: remove [dummy_machine], [singleton] expects a lazy source.