Optimised jQuery usage, renamed 'mirrorOptions' to 'mirror'