minor bug fixed in release()
minor bug fixed in release()