Small fixes in int types