fix uint32option docs closes #18