fixed some inconsistency in the formatting