partial fix for LazyPRM (still broken)