Fix error in /documentation/c-support.html