Move documentation of the fix implemented in my previous commit to the right position