Fix reading of integer-based settings