Minor corrections on 01-numpy translation