Found a bug while testing with JTorX...