Issue #125: tried an experiment; it doesn't really work