Fixes for DCTCP