Some fixes in double reflection.