Minor coverage fix.