bug #145 resolved