OK, see 5b62075. Thanks!