fixed a small bug for building