ugly bugfix during ctf