Correction related to #13