Remove a comment that I forgot to delete, no functional changes.