Yet another minor update