Let's try the shortcodes.php formatting changes again