Fix bug in backends ducumentation #449