Fixed a missing tag for html documentation