Comment on HALTING1's profile