Very minor tidy up.