Share some code, related to [#1707]]