Formatting and a TODO for PositionRange.