Currently, DefaultCaret.ensureValidPosition() checks that dot and mark are not >= to the doc length. Instead, it should check that they are not > doc length. It is okay for dot and mark to be equal to the document length.