Add comment to fix #12