Revision a178e41639d3b44d898d339a4c053ce3f4415e5b

Committed on 16/10/2012 11:56 pm by Björn Dieding <bjoern@xrow.de> [GitHub Diff]

- fixing fatal error