Minor fix to '...' placement on /mine