Documentation about fixing #37.