sorry. i've not seen the bug. i'll repair it.