Generic algorithms for halting problem and optimal machines revisited (Logical Methods in Computer Science, 2016)