Minor fix to our graphs property editor (#31).