public CycSymbol readKeyword()
          throws IOException {
    String keywordString = (String) readObject();

    if (!(keywordString.startsWith(":"))) {
      keywordString = ":" + keywordString;
    }

    return CycObjectFactory.makeCycSymbol(keywordString);
  }