FIX: issue #520 (ALL [] returns NONE or block!)