small unspecified tweaks