it's a problem if one cannot copy and paste ...