Hack around formatting issue