Don't need this any more since we are using require.js I think