Moved comment to location where it was more generally applicable.