minor change: forgotten print removed