Correct comment about set_registers's parameters