The Ouroboros King: Minor bug fixes

Minor bug fixes