[jhc] bug with Integer?