Modify comment to follow Mozilla coding style