Minor documentation formatting change

This commit is contained in:
Vlad Grigorescu 2012-06-03 22:54:19 -04:00
parent c8e770a499
commit d09fc15b2d