Fix error caught by Bertrand.