Add notes regarding fixing of #3