@verbatim marker not getting handled properly

On http://api.drupal.org/api/function/theme_table, all versions, there's this text:

Here's an example for $rows: @verbatim $rows = array( // Simple row array( 'Cell 1', 'Cell 2', 'Cell 3' ), // Row with attributes on the row and some of its cells. array( 'data' => array('Cell 1', array('data' => 'Cell 2', 'colspan' => 2)), 'class' => 'funky' ) ); @endverbatim

Looks like some sort of doxygen thingy isn't getting handled properly or hasn't been entered properly.