Minor tweaks and fixing of missing markdown