Add example for "recursive" annotations + fix code block