1.3.3: Minor changes