Joel Bernstein edited a comment