small fixes to winsys documentation