Feature/put in missing commit

was part of an earlier merged PR that I forgot to push.