Revision 822bc1fe3d24719bfa40eef3dc3318624a15b0a4

Committed on 03/04/2015 1:41 pm by Maxime Fabre <[email protected]> [GitHub Diff]

Code tweaks for #489