Fixed a really weird documentation problem