1.3.1: Minor fixes...