minor change I found to be necessary