@Mamute: Fix #6.