Be consistent in coding style in file-bug.js