RobS: changed ... to \ldots. other formatting changes