Some minimal design stuff I noticed on the way