Tiny minor update