Minor cosmetics

No more placeholder.