Closes #1593: fix quickstart -F.