This looks broken, is this comment ever terminated?