Fix documentation formatting errors which caused incorrect code highlighting!