Little documentation fix, closes #73