Remove unnecessary Obj.magic.

Two distinct calls to 'input_value' are probably less error prone than 6 call to 'Obj.magic'.
Just a typo. Thanks. I shouldn't have tested only with implementation file !