Improved the size of the input box on the workbench/execute.php page