Fix proposed by @hmachefe