[Misc] Small loss of coverage after last commit (didn't expect it, sorry). Actually in practice it's tested in other modules so the overall coverage has slightly increased and no decreased...