Fix formatting problem #503