Minor naming tweak