Correction from #4 comment.