cts fixes

Shouldn't these statements be equivalent?