Tidy up after some comments on PR