Pedantic-mode engaged!