Miscellaneous snippets