Type modification algorithm changed