You're right, thanks! Removed it again in commit 83dd2f3.