bug 6331 : this fixed the problem; not sure if this is the proper way to go about it