Minor refinement bugfix.