fixes #173: ticket fixed