minor prettifying fix