Tidying up spec language for documentation