Manually operated pumps