Fixes randomly failing locked cover test

(Probably) closes #340