Remove debug print, fix a return value in resolve().