#4137 code tidy