Fixed ugly comment in Position.mli
Fixed a comment in Position.mli