Removed now-superfluous comment