fix specs: forgot to require return_from_function