Revision a912857fc413a4c68e8f2093fe815154dc836add

Committed on 23/09/2016 6:16 am by Philipp Kamps <[email protected]> [GitHub Diff]

Small type fixed