Small bug fix for #69