t1140: minor optimization