Fixes #34: accessing int as array showed real error and internal error