Fixes slow addprocs introduced by commit 17b3986