removed FIXME, which is fixed