Very minor update

Nothing important