Type conversion bug by Petrichor