See my reply above. This seems unnecessary.