On 9/10/14, 11:46 AM, Timon Gehr wrote: > Oops! Touché! Thanks. While the code indeed works, there actually _is_ > an issue here. :o) Please bugzillize. Thanks! -- Andrei