fixing pretty printing of a-if, which was blithely ignoring most of itself...