another API doc tweak