Small fix on previous revision