Minor bug fix in 1.3