Some further prettification