Bug #0087: Patch fix.