Minor fix after proof-read