#4137 Code tidy