replaced <code></code> with more concise {@code}