Government employee royalties