Adding comment suggested by Otto.