Quick update

A housekeeping note