Removed now extraneous comment