... and another minor repair