Another tiny change

Should probably have waited till the end and submitted in one go :)