cosmetics: Use $() instead of ``, the former can be nested more easily.