A minor bug is fixed