Corrected type mentioned in #113