Bug in convert_to_pp fixed. (thanks F.S.)