Re-add pedantic flag; it got deleted somewhere along the way