Two implementations of #936