PFL manual: small improvements
Fix a compilation error with older versions of GCC