Fix misnaming in FIXME