086a36f5
1aa3202b
* commit '086a36f5a9d498c0aee789fe50e4d4dde6457c52': Minor fixes: Add a missing "break" and some cosmetic fixes.