main2014: Small updates to topsecret