FIXME for non-leaks that bothers and should be fixed