Small fix to 1.3