It is a bug, and the the solution has been posted somewhere in this forum.