an example I forgot to put into the code