Minor cleanup in spec page