Fixed integer (int) type in docs