Adamastor: pedantic fix.