minor prettification