Some small but useful tools