v1.9.3.1: Minor bug fix