Fix int bug in 014