Whitespace removal
12.2 is dead so remove it from here.