minor update; bugfix