Fix github bug #63