Bug in the decimal size specification