Minor code improvement. Review comment by Eric V. Smith