Fix "int" -> "integer" to avoid double