Add notes about a bug in squeeze-notation