Fixed bug in redeal