Fixed small bug introduced by merge.