oops--small bugfix