API docs fix for #540