a solution to ticket #123