Add actual specs for previously pending examples