This patch is fine, thanks Paolo. My net access/sources are both a bit of a mess right now. Phil, can you check this in please? thanks benjamin