Fix positive integer

70d73524a81bbddc69a96d40eeb293508523dce7