Small documentation fix #2