Minor refinements