minor cleaning in Pullbacks
	modified:   Pullbacks.agda