Text correction in pen-based computers: an empirical comparison of methods