FileRepo: minor improvement that got lost in the previous commit

Signed-off-by: Ferry Huberts <ferry.huberts@pelagic.nl>