Fix (minor) formatting issues