(a) Minor updates