@toco Yes, you're right. This was a quick hack, will be fixed.