v1.9.3: Minor bug fix