Formatted ctrl.js