Last minute handbook fixes for 3.2

Releasing was not possible, as one of the last pulls broke the handbook compilation...