Another minor improvement over last commit