Version 9.0.2

Fix small bug