Fixing bugs in mapping of J in interfaces