From reading this guide, could you try using a variable to output the return as such?
$output="This is the return";
return $output;
Also, if you’re calling the shortcode with do_shortcode('[michael]');
in a php file, you’ll need to echo
this, like so:
<?php echo do_shortcode('[michael]'); ?>