Bug fix in Bredin2013 for trivial corner case