Fixed some inconsistent miscellany