#448: ajax_data.js, adjust code indentation