@Mamute: Fix #9.