Haha, yah I see. good catch! Shall we revert it to its previous behavior or get rid of it entirely?