New issue from Zhihao Yuan about undefined "Preconditions:" element