fixed in 822d2d8 . Thanks, good idea.