Fix the libavl note to match reality more accurately.