Fixed a bug in the documentation rendering