This method and the next got lost in your merge, reverting PR#725. I'll fix.