Bugfix for MichaelDeque commits