Yet another minor point