Small bug fix for naming