minor change from Sebastian's request