Fix typo in registers.h