fe90d32 Fix error introduced in a previous commit