(last activity); fix #75;