Basically, we should replace this line by `System.halt(0)`. :) Sorry for the confusion!