views.js patched