FIX: minor formatting issues