Fixing bugs in view extensions