Fix Jerry's no-proto bug :-).