fix method.rkt