fix; automatic test added