Minor tweak to naming