small changes: