Issue #2416: undefined is not function