Miscellaneous pedantry